Especificação e Modelação
Métodos Formais em Engenharia de Software
Cancel
Search
:
^m
Education/EM Web
Changed
Changed by
Material
09 Feb 2015 - 17:24 - r19
JoseNunoOliveira
Material disponível ou a disponibilizar: Bibliografia D. Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. C.B ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM